A Theory of Belief for Scientific Refutations

A probability function P on an algebra of events is assumed. Some of the events are scientific refutations in the sense that the assumption of their occurrence leads to a contradiction. It is shown that the scientific refutations form a a boolean sublattice in terms of the subset ordering. In general, the restriction of P to the sublattice is not a probability function on the sublattice. It does, however, have many interesting properties. In particular, (i) it captures probabilistic ideas inherent in some legal procedures; and (ii) it is used to argue against the commonly held view that behavioral violations of certain basic conditions for qualitative probability are indicative of irrationality. Also discussed are (iii) the relationship between the formal development of scientific refutations presented here and intuitionistic logic, and (iv) an interpretation of a belief function used in the behavioral sciences to explain empirical results about subjective, probabilistic estimation, including the Ellsberg paradox.